Details

Time bar (total: 20.7s)

sample31.0ms

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

simplify60.0ms

Counts
1 → 1

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.9b

localize14.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))))

rewrite108.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))
3.0ms
(tanh (/ x y))
21.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
78.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

series890.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(tanh (/ t y))
127.0ms
(tanh (/ x y))
376.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
250.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

simplify54.0ms

Counts
90 → 90

prune433.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.9b

localize24.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)))))

rewrite216.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:
2.0ms
(tanh (/ x y))
22.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
56.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
130.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

series1.0s

Counts
4 → 12
Calls
4 calls:
160.0ms
(tanh (/ x y))
331.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
317.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
226.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify66.0ms

Counts
117 → 117

prune595.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.4b

localize47.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))

rewrite148.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:
6.0ms
(pow (tanh (/ x y)) 3)
26.0ms
(- (tanh (/ t y)) (cbrt (pow (tanh (/ x y)) 3)))
100.0ms
(* (* y z) (- (tanh (/ t y)) (cbrt (pow (tanh (/ x y)) 3))))
10.0ms
(cbrt (pow (tanh (/ x y)) 3))

series1.1s

Counts
4 → 12
Calls
4 calls:
236.0ms
(pow (tanh (/ x y)) 3)
441.0ms
(- (tanh (/ t y)) (cbrt (pow (tanh (/ x y)) 3)))
306.0ms
(* (* y z) (- (tanh (/ t y)) (cbrt (pow (tanh (/ x y)) 3))))
160.0ms
(cbrt (pow (tanh (/ x y)) 3))

simplify87.0ms

Counts
128 → 128

prune609.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.4b

localize35.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.8s

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:
78.0ms
(- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))
268.0ms
(* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))
640.0ms
(* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))))
545.0ms
(/ (* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (tanh (/ t y)) (tanh (/ x y))))

series3.5s

Counts
4 → 12
Calls
4 calls:
604.0ms
(- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))
779.0ms
(* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))
431.0ms
(* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))))
1.7s
(/ (* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (tanh (/ t y)) (tanh (/ x y))))

simplify328.0ms

Counts
1016 → 1016

prune8.0s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes143.0ms

Accuracy

0% (1.9b remaining)

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

bsearch0.0ms

simplify76.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
697.0ms8296×body80valid
57.0ms92×body640valid
46.0ms49×body1280valid
12.0ms65×body320valid
4.0ms30×body160valid