Details

Time bar (total: 17.8s)

sample33.0ms

Algorithm
intervals
Results
16.0ms270×body80valid
1.0ms2×body1280valid
1.0ms4×body640valid
0.0ms1×body320valid

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01215
15415
214215
332215
494415
5313415
done500015

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.1b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(tanh (/ t y))
0.0b
(- (tanh (/ t y)) (tanh (/ x y)))
0.0b
(tanh (/ x y))
5.2b
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
18×frac-sub
14×tanh-def
11×associate-*r/
9×pow1 add-exp-log add-sqr-sqrt *-un-lft-identity add-cbrt-cube
6×add-log-exp
5×add-cube-cbrt associate-*r*
3×sub-neg pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in flip3-- distribute-lft-in flip-- distribute-lft-out-- difference-of-squares
1×diff-log associate-*l* *-commutative
Counts
4 → 78
Calls
4 calls:
3.0ms
(tanh (/ t y))
23.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
3.0ms
(tanh (/ x y))
100.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

series980.0ms

Counts
4 → 12
Calls
4 calls:
163.0ms
(tanh (/ t y))
400.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
139.0ms
(tanh (/ x y))
277.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

simplify1.4s

Counts
90 → 90
Iterations

Useful iterations: 2 (389.0ms)

IterNodesCost
01651855
15121823
221161729
done50021729

prune764.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 1.5b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(tanh (/ t y))
0.0b
(tanh (/ x y))
1.0b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
3.3b
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

rewrite197.0ms

Algorithm
rewrite-expression-head
Rules
33×associate-*r/
18×frac-sub
14×tanh-def
11×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
10×distribute-rgt-in distribute-lft-in
9×*-un-lft-identity
7×add-cube-cbrt
6×sub-neg associate-*r* associate-*l*
4×pow-prod-down prod-exp cbrt-unprod add-log-exp
2×flip3-- *-commutative flip--
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 92
Calls
4 calls:
2.0ms
(tanh (/ t y))
2.0ms
(tanh (/ x y))
59.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
131.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

series1.0s

Counts
4 → 12
Calls
4 calls:
121.0ms
(tanh (/ t y))
136.0ms
(tanh (/ x y))
399.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
359.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify1.1s

Counts
104 → 104
Iterations

Useful iterations: 2 (324.0ms)

IterNodesCost
01811885
14711857
217431739
done50001739

prune499.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 1.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(tanh (/ x y))
0.3b
(+ (* (* y z) (tanh (/ t y))) (* (* y z) (- (tanh (/ x y)))))
5.7b
(* (* y z) (- (tanh (/ x y))))
5.9b
(* (* y z) (tanh (/ t y)))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
24×associate-*r/
14×pow1 add-exp-log add-cbrt-cube
13×associate-*r*
12×distribute-neg-frac
9×frac-add tanh-def
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×pow-prod-down prod-exp cbrt-unprod add-log-exp
3×distribute-lft-neg-in distribute-rgt-neg-in distribute-rgt-neg-out
2×associate-*l* *-commutative
1×+-commutative neg-mul-1 flip3-+ unsub-neg sum-log flip-+ distribute-lft-out
Counts
4 → 83
Calls
4 calls:
2.0ms
(tanh (/ x y))
29.0ms
(+ (* (* y z) (tanh (/ t y))) (* (* y z) (- (tanh (/ x y)))))
36.0ms
(* (* y z) (- (tanh (/ x y))))
25.0ms
(* (* y z) (tanh (/ t y)))

series724.0ms

Counts
4 → 12
Calls
4 calls:
158.0ms
(tanh (/ x y))
284.0ms
(+ (* (* y z) (tanh (/ t y))) (* (* y z) (- (tanh (/ x y)))))
160.0ms
(* (* y z) (- (tanh (/ x y))))
122.0ms
(* (* y z) (tanh (/ t y)))

simplify1.9s

Counts
95 → 95
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01851687
16101549
227481448
done50011443

prune386.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.7b

localize40.0ms

Local error

Found 4 expressions with local error:

6.0b
(+ (* (* y z) (tanh (/ t y))) (* (* (cbrt (* (* y z) (- (tanh (/ x y))))) (cbrt (* (* y z) (- (tanh (/ x y)))))) (cbrt (* (* y z) (- (tanh (/ x y)))))))
12.2b
(cbrt (* (* y z) (- (tanh (/ x y)))))
12.2b
(cbrt (* (* y z) (- (tanh (/ x y)))))
12.2b
(cbrt (* (* y z) (- (tanh (/ x y)))))

rewrite380.0ms

Algorithm
rewrite-expression-head
Rules
675×associate-*r/
441×cbrt-div distribute-neg-frac
243×frac-times
210×tanh-def
189×frac-add
81×associate-*l/
6×add-log-exp
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube
3×cbrt-prod pow1/3
1×+-commutative flip3-+ sum-log flip-+
Counts
4 → 236
Calls
4 calls:
218.0ms
(+ (* (* y z) (tanh (/ t y))) (* (* (cbrt (* (* y z) (- (tanh (/ x y))))) (cbrt (* (* y z) (- (tanh (/ x y)))))) (cbrt (* (* y z) (- (tanh (/ x y)))))))
20.0ms
(cbrt (* (* y z) (- (tanh (/ x y)))))
17.0ms
(cbrt (* (* y z) (- (tanh (/ x y)))))
41.0ms
(cbrt (* (* y z) (- (tanh (/ x y)))))

series1.6s

Counts
4 → 12
Calls
4 calls:
322.0ms
(+ (* (* y z) (tanh (/ t y))) (* (* (cbrt (* (* y z) (- (tanh (/ x y))))) (cbrt (* (* y z) (- (tanh (/ x y)))))) (cbrt (* (* y z) (- (tanh (/ x y)))))))
392.0ms
(cbrt (* (* y z) (- (tanh (/ x y)))))
440.0ms
(cbrt (* (* y z) (- (tanh (/ x y)))))
488.0ms
(cbrt (* (* y z) (- (tanh (/ x y)))))

simplify1.2s

Counts
248 → 248
Iterations

Useful iterations: done (1.2s)

IterNodesCost
086524958
1224524909
done500023798

prune1.1s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.7b

regimes158.0ms

Accuracy

0% (1.5b remaining)

Error of 2.0b against oracle of 0.5b and baseline of 2.0b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01215
11515
done1515

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.0s8329×body80valid
28.0ms81×body640valid
20.0ms41×body1280valid
19.0ms74×body320valid
6.0ms39×body160valid