Details

Time bar (total: 11.3s)

sample38.0ms

Algorithm
intervals
Results
20.0ms730×body80valid

simplify3.9s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
078
1188
2408
3998
42158
53678
66118
714418
835098
done50008

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.0b

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(cosh x)
0.3b
(* (cosh x) (/ y x))
6.4b
(/ (* (cosh x) (/ y x)) z)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
17×add-exp-log add-cbrt-cube
13×add-cube-cbrt *-un-lft-identity times-frac associate-*r*
5×pow1 cbrt-undiv cosh-def div-exp
4×prod-exp cbrt-unprod
3×associate-*l* associate-/r* associate-/l/ add-log-exp
2×frac-times associate-*r/ associate-*l/ div-inv unswap-sqr
1×frac-2neg pow-prod-down clear-num *-commutative associate-/l*
Counts
3 → 68
Calls
3 calls:
1.0ms
(cosh x)
8.0ms
(* (cosh x) (/ y x))
5.0ms
(/ (* (cosh x) (/ y x)) z)

series261.0ms

Counts
3 → 9
Calls
3 calls:
52.0ms
(cosh x)
86.0ms
(* (cosh x) (/ y x))
122.0ms
(/ (* (cosh x) (/ y x)) z)

simplify740.0ms

Counts
77 → 77
Iterations

Useful iterations: done (738.0ms)

IterNodesCost
0150773
1368735
21380631
done5001619

prune190.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.3b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 1/2 (/ (* x y) z))
0.0b
(+ (* 1/2 (/ (* x y) z)) (/ y (* x z)))
3.4b
(/ (* x y) z)
4.7b
(/ y (* x z))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
23×add-exp-log add-cbrt-cube
13×add-sqr-sqrt
11×add-cube-cbrt *-un-lft-identity
9×times-frac
7×associate-*r*
6×pow1 cbrt-undiv div-exp prod-exp cbrt-unprod add-log-exp
4×associate-/r* associate-/l*
3×associate-*l* div-inv
2×frac-2neg associate-*r/ clear-num
1×+-commutative flip3-+ pow-prod-down frac-add sum-log *-commutative flip-+ unswap-sqr
Counts
4 → 81
Calls
4 calls:
8.0ms
(* 1/2 (/ (* x y) z))
8.0ms
(+ (* 1/2 (/ (* x y) z)) (/ y (* x z)))
3.0ms
(/ (* x y) z)
3.0ms
(/ y (* x z))

series122.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* 1/2 (/ (* x y) z))
49.0ms
(+ (* 1/2 (/ (* x y) z)) (/ y (* x z)))
21.0ms
(/ (* x y) z)
23.0ms
(/ y (* x z))

simplify871.0ms

Counts
93 → 93
Iterations

Useful iterations: 2 (142.0ms)

IterNodesCost
0133985
1356924
21259810
done5000810

prune206.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.2b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1/2 (/ (* x y) z)) (/ 1 (/ (* x z) y)))
0.6b
(/ 1 (/ (* x z) y))
3.4b
(/ (* x y) z)
4.8b
(/ (* x z) y)

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
39×times-frac
35×add-exp-log
24×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
23×add-cbrt-cube
16×div-exp
13×associate-/r*
9×cbrt-undiv
7×div-inv
6×add-log-exp
5×pow1 prod-exp associate-/l*
3×rec-exp frac-2neg 1-exp clear-num cbrt-unprod
1×+-commutative pow-flip flip3-+ associate-*r/ frac-add sum-log associate-/r/ flip-+ inv-pow
Counts
4 → 110
Calls
4 calls:
13.0ms
(+ (* 1/2 (/ (* x y) z)) (/ 1 (/ (* x z) y)))
6.0ms
(/ 1 (/ (* x z) y))
3.0ms
(/ (* x y) z)
4.0ms
(/ (* x z) y)

series114.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(+ (* 1/2 (/ (* x y) z)) (/ 1 (/ (* x z) y)))
27.0ms
(/ 1 (/ (* x z) y))
22.0ms
(/ (* x y) z)
21.0ms
(/ (* x z) y)

simplify854.0ms

Counts
122 → 122
Iterations

Useful iterations: 2 (189.0ms)

IterNodesCost
01791407
14651244
213941050
done50001050

prune219.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 0.2b

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(cosh x)
1.0b
(/ (cosh x) (* z (/ x y)))
6.0b
(* z (/ x y))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
17×add-exp-log add-cbrt-cube
13×add-cube-cbrt *-un-lft-identity times-frac associate-*r*
5×pow1 cbrt-undiv div-exp
4×prod-exp cbrt-unprod
3×associate-*l* associate-/l* add-log-exp
2×cosh-def associate-*r/ div-inv unswap-sqr
1×frac-2neg pow-prod-down clear-num associate-/r* associate-/r/ *-commutative associate-/l/
Counts
3 → 65
Calls
3 calls:
0.0ms
(cosh x)
5.0ms
(/ (cosh x) (* z (/ x y)))
11.0ms
(* z (/ x y))

series221.0ms

Counts
3 → 9
Calls
3 calls:
53.0ms
(cosh x)
148.0ms
(/ (cosh x) (* z (/ x y)))
20.0ms
(* z (/ x y))

simplify1.9s

Counts
74 → 74
Iterations

Useful iterations: 2 (141.0ms)

IterNodesCost
0141694
1346665
21087567
34802567
done5000567

prune162.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.2b

regimes240.0ms

Accuracy

93.7% (0.5b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 7.4b

bsearch56.0ms

Steps
ItersRangePoint
9
4368.076441928604
12279169856252.926
6802291.148674449
0
-1.7700168803206506e-14
-1.6868515986765934e-14
-1.7284342394986222e-14

simplify3.0ms

Iterations

Useful iterations: done (2.0ms)

IterNodesCost
02539
13339
done3337

end0.0ms

sample1.1s

Algorithm
intervals
Results
613.0ms22594×body80valid