Details

Time bar (total: 1.4m)

sample37.0ms

Algorithm
intervals
Results
15.0ms274×body80valid
1.0ms4×body640valid
0.0ms1×body1280valid
0.0ms1×body320valid
0.0ms1×body160valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5001
53026
4906
3317
2141
154
012

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.3b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
18×frac-sub
14×tanh-def
11×associate-*r/
9×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log
6×add-log-exp
5×associate-*r* 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
4 → 78
Calls
4 calls:
4.0ms
(tanh (/ t y))
3.0ms
(tanh (/ x y))
21.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
59.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

series842.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(tanh (/ t y))
107.0ms
(tanh (/ x y))
326.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
259.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

simplify2.2s

Counts
90 → 90
Iterations
IterNodes
done5001
21988
1520
0165

prune815.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 1.9b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(tanh (/ x y))
0.2b
(- (tanh (/ t y)) (tanh (/ x y)))
1.8b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
2.6b
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

rewrite184.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:
3.0ms
(tanh (/ x y))
20.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
56.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
99.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

series1.2s

Counts
4 → 12
Calls
4 calls:
163.0ms
(tanh (/ x y))
380.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
404.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
294.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify1.9s

Counts
117 → 117
Iterations
IterNodes
done5003
22058
1573
0195

prune1.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.7b

localize104.0ms

Local error

Found 4 expressions with local error:

2.6b
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))
8.5b
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
8.5b
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
8.5b
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))

rewrite325.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:
101.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))
71.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
73.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
76.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))

series2.1s

Counts
4 → 12
Calls
4 calls:
253.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))
528.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
602.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
684.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))

simplify2.3s

Counts
109 → 109
Iterations
IterNodes
done5000
21865
1567
0208

prune1.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.7b

localize166.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.7s

Algorithm
rewrite-expression-head
Rules
9713×associate-*r/
6512×cbrt-div
3915×frac-sub
3025×frac-times
2610×tanh-def
435×flip3-- flip--
275×associate-*l/
4×cbrt-prod add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube pow1/3 add-exp-log add-cube-cbrt add-log-exp
1×pow3 rem-cbrt-cube
Counts
4 → 1797
Calls
4 calls:
67.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
53.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
63.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
815.0ms
(cbrt (* (* (cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))) (cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))))

series2.4s

Counts
4 → 12
Calls
4 calls:
596.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
632.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
594.0ms
(cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
594.0ms
(cbrt (* (* (cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))) (cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))))

simplify13.4s

Counts
1809 → 1809
Iterations
IterNodes
done6690
06690

prune47.9s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.7b

regimes445.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done15
115
012

end0.0ms

sample1.4s

Algorithm
intervals
Results
864.0ms8319×body80valid
40.0ms51×body1280valid
32.0ms57×body320valid
24.0ms110×body640valid
4.0ms40×body160valid