Details

Time bar (total: 14.2s)

sample72.0ms

Algorithm
intervals
Results
42.0ms272×body80valid
11.0ms2×body1280valid
2.0ms4×body640valid

simplify697.0ms

Counts
1 → 1
Iterations
IterNodes
done2002
4906
3317
2141
154
012

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
11×associate-*r/
9×pow1 add-cbrt-cube add-exp-log frac-sub
8×tanh-def
7×add-sqr-sqrt *-un-lft-identity
6×add-log-exp
5×associate-*r* add-cube-cbrt
4×distribute-rgt-in associate-+r+ sub-neg distribute-lft-in insert-posit16
3×pow-prod-down prod-exp cbrt-unprod
1×+-commutative sum-log flip3-+ flip3-- associate-*l* *-commutative flip-+ flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 74
Calls
4 calls:
2.0ms
(tanh (/ x y))
1.0ms
(tanh (/ t y))
6.0ms
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
41.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

series930.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(tanh (/ x y))
110.0ms
(tanh (/ t y))
448.0ms
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
231.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

simplify688.0ms

Counts
86 → 86
Iterations
IterNodes
done2000
1518
0179

prune560.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(tanh (/ x y))
0.0b
(+ x (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
0.8b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
2.8b
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

rewrite160.0ms

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

series1.2s

Counts
4 → 12
Calls
4 calls:
109.0ms
(tanh (/ x y))
479.0ms
(+ x (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
343.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
244.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify749.0ms

Counts
117 → 117
Iterations
IterNodes
done2000
1561
0206

prune665.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite189.0ms

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

series1.5s

Counts
4 → 12
Calls
4 calls:
507.0ms
(+ x (+ (* (tanh (/ t y)) (* y z)) (* (- (tanh (/ x y))) (* y z))))
595.0ms
(+ (* (tanh (/ t y)) (* y z)) (* (- (tanh (/ x y))) (* y z)))
211.0ms
(* (tanh (/ t y)) (* y z))
174.0ms
(* (- (tanh (/ x y))) (* y z))

simplify754.0ms

Counts
105 → 105
Iterations
IterNodes
done2000
1686
0207

prune713.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

2.8b
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))
2.8b
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))
8.1b
(sqrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
8.1b
(sqrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
88×associate-*r/
36×frac-sub
26×pow1
24×tanh-def
22×sqrt-div
16×distribute-rgt-in distribute-lft-in
14×add-cbrt-cube add-exp-log
12×pow-prod-down
8×sub-neg
6×add-sqr-sqrt *-un-lft-identity sqrt-pow1 associate-*l* prod-exp add-cube-cbrt cbrt-unprod
4×flip3-- insert-posit16 flip-- add-log-exp
2×pow1/2 associate-*r* *-commutative sqrt-prod
Counts
4 → 124
Calls
4 calls:
52.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))
51.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))
37.0ms
(sqrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
36.0ms
(sqrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
240.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))
204.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))
311.0ms
(sqrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
303.0ms
(sqrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))

simplify949.0ms

Counts
136 → 136
Iterations
IterNodes
done2003
21720
1503
0186

prune899.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes226.0ms

Accuracy

0% (4.4b remaining)

Error of 4.6b against oracle of 0.2b and baseline of 4.6b

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done32
332
225
121
014

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.5s8323×body80valid
50.0ms43×body1280valid
46.0ms98×body640valid
19.0ms56×body320valid
8.0ms35×body160valid