Details

Time bar (total: 28.1s)

sample47.0ms

Algorithm
intervals
Results
18.0ms264×body80valid
0.0ms3×body320valid
0.0ms2×body640valid
0.0ms1×body1280valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01215
15415
214215
332215
494415
5313415
done500015

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.9b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite96.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:
2.0ms
(tanh (/ t y))
6.0ms
(tanh (/ x y))
27.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
57.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

series723.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(tanh (/ t y))
105.0ms
(tanh (/ x y))
295.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
210.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

simplify1.4s

Counts
90 → 90
Iterations

Useful iterations: 2 (292.0ms)

IterNodesCost
01651855
15121823
221171729
done50021729

prune430.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.9b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(tanh (/ x y))
0.3b
(- (tanh (/ t y)) (tanh (/ x y)))
0.7b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
3.7b
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

rewrite222.0ms

Algorithm
rewrite-expression-head
Rules
33×associate-*r/
27×frac-sub
19×tanh-def
13×add-sqr-sqrt
11×pow1 add-exp-log *-un-lft-identity add-cbrt-cube
10×distribute-rgt-in distribute-lft-in
7×add-cube-cbrt sub-neg
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:
3.0ms
(tanh (/ x y))
22.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
64.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
126.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
115.0ms
(tanh (/ x y))
363.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
326.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
250.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify991.0ms

Counts
117 → 117
Iterations

Useful iterations: 2 (317.0ms)

IterNodesCost
01952513
15532486
219892350
done50022350

prune566.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.4b

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (tanh (/ x y)) 3)
0.3b
(- (tanh (/ t y)) (cbrt (pow (tanh (/ x y)) 3)))
5.4b
(* (* y z) (- (tanh (/ t y)) (cbrt (pow (tanh (/ x y)) 3))))
12.5b
(cbrt (pow (tanh (/ x y)) 3))

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
24×cube-div
21×cbrt-div
20×cbrt-prod
18×frac-sub
15×*-un-lft-identity
14×tanh-def
11×add-cube-cbrt associate-*r/
10×pow1 add-exp-log add-cbrt-cube difference-of-squares
9×associate-*r*
8×unpow-prod-down cube-prod
6×add-log-exp
4×sqr-pow
3×sub-neg pow-unpow pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in cube-mult flip3-- distribute-lft-in unpow3 flip-- distribute-lft-out--
1×pow-to-exp pow-pow pow1/3 diff-log associate-*l* pow-exp *-commutative rem-cbrt-cube rem-cube-cbrt
Counts
4 → 116
Calls
4 calls:
4.0ms
(pow (tanh (/ x y)) 3)
42.0ms
(- (tanh (/ t y)) (cbrt (pow (tanh (/ x y)) 3)))
92.0ms
(* (* y z) (- (tanh (/ t y)) (cbrt (pow (tanh (/ x y)) 3))))
4.0ms
(cbrt (pow (tanh (/ x y)) 3))

series831.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(pow (tanh (/ x y)) 3)
337.0ms
(- (tanh (/ t y)) (cbrt (pow (tanh (/ x y)) 3)))
214.0ms
(* (* y z) (- (tanh (/ t y)) (cbrt (pow (tanh (/ x y)) 3))))
104.0ms
(cbrt (pow (tanh (/ x y)) 3))

simplify1.5s

Counts
128 → 128
Iterations

Useful iterations: 2 (507.0ms)

IterNodesCost
02222781
15712287
224142149
done50012149

prune638.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.4b

localize31.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))
1.5b
(* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))
2.6b
(* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))))
5.1b
(/ (* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (tanh (/ t y)) (tanh (/ x y))))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
1495×associate-*r/
1080×frac-times
966×tanh-def
900×frac-sub
360×associate-*l/
227×associate-/l/
20×add-exp-log add-cbrt-cube
13×*-un-lft-identity
11×pow1 add-sqr-sqrt associate-/r/
10×distribute-rgt-in distribute-lft-in
9×add-cube-cbrt frac-add
7×sub-neg prod-exp cbrt-unprod
6×associate-*l* add-log-exp
5×associate-*r*
4×flip3-- times-frac pow-prod-down associate-/r* flip--
3×cbrt-undiv div-exp
2×*-commutative distribute-lft-out difference-of-squares
1×frac-2neg flip3-+ diff-log clear-num flip-+ div-inv associate-/l* unswap-sqr
Counts
4 → 1004
Calls
4 calls:
67.0ms
(- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))
295.0ms
(* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))
574.0ms
(* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))))
452.0ms
(/ (* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (tanh (/ t y)) (tanh (/ x y))))

series3.9s

Counts
4 → 12
Calls
4 calls:
820.0ms
(- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))
833.0ms
(* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))
390.0ms
(* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))))
1.8s
(/ (* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (tanh (/ t y)) (tanh (/ x y))))

simplify2.6s

Counts
1016 → 1016
Iterations

Useful iterations: done (2.5s)

IterNodesCost
0158664725
1484664618
done500064086

prune7.7s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes130.0ms

Accuracy

0% (1.9b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01215
11515
done1515

end0.0ms

sample1.4s

Algorithm
intervals
Results
845.0ms8296×body80valid
28.0ms92×body640valid
18.0ms49×body1280valid
14.0ms65×body320valid
5.0ms30×body160valid