Details

Time bar (total: 7.0m)

sample41.0ms

Algorithm
intervals
Results
15.0ms265×body80valid
1.0ms7×body640valid
0.0ms2×body320valid
0.0ms1×body1280valid
0.0ms1×body160valid

simplify3.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
012354
154354
2141354
3317354
4906354
53026354
done5001354

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.3b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite112.0ms

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

series703.0ms

Counts
3 → 9
Calls
3 calls:
111.0ms
(tanh (/ t y))
308.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
284.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

simplify2.6s

Counts
77 → 77
Iterations

Useful iterations: done (2.6s)

IterNodesCost
015736143
150334174
2190233662
done500433102

prune518.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 2.8b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite158.0ms

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

series947.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(tanh (/ t y))
292.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
314.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
244.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify2.6s

Counts
117 → 117
Iterations

Useful iterations: done (2.6s)

IterNodesCost
019152079
155949779
2198949154
done500248508

prune844.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 2.0b

localize65.0ms

Local error

Found 4 expressions with local error:

4.0b
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))
5.4b
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
5.4b
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
5.4b
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))

rewrite245.0ms

Algorithm
rewrite-expression-head
Rules
88×associate-*r/
36×frac-sub
33×cbrt-div
24×tanh-def
9×pow1 add-cbrt-cube add-exp-log
8×distribute-rgt-in distribute-lft-in
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×sub-neg flip3-- flip-- add-log-exp
3×cbrt-prod pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod
1×associate-*r* *-commutative
Counts
4 → 97
Calls
4 calls:
83.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))
60.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
50.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
45.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))

series2.0s

Counts
4 → 12
Calls
4 calls:
261.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))
597.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
620.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
557.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))

simplify2.7s

Counts
109 → 109
Iterations

Useful iterations: done (2.7s)

IterNodesCost
020874780
156773283
2186572036
done500071338

prune1.2s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 2.0b

localize109.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (tanh (/ x y)) (tanh (/ x y)))
1.0b
(* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))))
4.0b
(* y (/ (* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))))
11.8b
(/ (* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))

rewrite11.3s

Algorithm
rewrite-expression-head
Rules
32607×frac-times
22936×tanh-def
17300×associate-*r/
13560×frac-add
9357×associate-*l/
7938×frac-sub
6814×associate-/r/
3971×associate-/l/
3421×associate-*r*
32×flip3-+ flip-+
22×add-cbrt-cube add-exp-log
21×add-sqr-sqrt
15×pow1 *-un-lft-identity add-cube-cbrt
9×associate-*l*
7×prod-exp cbrt-unprod
6×times-frac
4×cbrt-undiv div-exp add-log-exp
3×associate-/r* swap-sqr pow-prod-down *-commutative unswap-sqr
2×distribute-rgt-in sub-neg distribute-lft-in flip3-- div-inv flip--
1×pow2 difference-cubes clear-num frac-2neg pow-plus cube-unmult pow3 pow-sqr pow-prod-up associate-/l*
Counts
4 → 14867
Calls
4 calls:
16.0ms
(* (tanh (/ x y)) (tanh (/ x y)))
1.9s
(* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))))
2.5s
(* y (/ (* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))))
2.0s
(/ (* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))

series18.2s

Counts
4 → 12
Calls
4 calls:
164.0ms
(* (tanh (/ x y)) (tanh (/ x y)))
1.5s
(* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))))
10.8s
(* y (/ (* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))))
5.7s
(/ (* z (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))

simplify1.5m

Counts
14879 → 14879
Iterations

Useful iterations: 0 (59.2s)

IterNodesCost
03282621927331
done3282621927331

prune4.7m

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes271.0ms

Accuracy

0% (2.0b remaining)

Error of 2.1b against oracle of 0.0b and baseline of 2.1b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
012354
115354
done15354

end0.0ms

sample1.2s

Algorithm
intervals
Results
789.0ms8386×body80valid
20.0ms75×body640valid
15.0ms39×body1280valid
11.0ms57×body320valid
5.0ms36×body160valid