Details

Time bar (total: 18.0s)

sample27.0ms

Algorithm
intervals
Results
10.0ms331×body80valid

simplify654.0ms

Counts
1 → 1
Iterations
IterNodes
done5000
51323
4372
3113
244
122
08

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 1 expressions with local error:

7.7b
(* (/ x z) (+ (- y z) 1.0))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt *-un-lft-identity
13×associate-*l*
10×times-frac
9×add-cube-cbrt
6×add-cbrt-cube add-exp-log
5×associate-*r*
3×pow1
2×frac-times flip3-+ prod-exp associate-*r/ cbrt-unprod flip-+ distribute-lft-out unswap-sqr
1×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp pow-prod-down associate-*l/ *-commutative div-inv distribute-lft-out-- add-log-exp
Counts
1 → 40
Calls
1 calls:
107.0ms
(* (/ x z) (+ (- y z) 1.0))

series67.0ms

Counts
1 → 3
Calls
1 calls:
67.0ms
(* (/ x z) (+ (- y z) 1.0))

simplify631.0ms

Counts
43 → 43
Iterations
IterNodes
done5000
21581
1346
094

prune168.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ (* x 1.0) z) x)
0.0b
(+ (- (/ (* x 1.0) z) x) (/ y (/ z x)))
4.0b
(/ y (/ z x))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
52×*-un-lft-identity
47×add-sqr-sqrt
45×add-cube-cbrt
13×associate-/r*
10×add-log-exp
8×add-cbrt-cube add-exp-log
5×div-inv
3×pow1 cbrt-undiv div-exp associate-/l*
2×associate-+l+ sum-log sub-neg flip3-- diff-log frac-add flip-- distribute-lft-out distribute-lft-out--
1×+-commutative clear-num frac-2neg flip3-+ associate-/r/ associate-+l- flip-+ difference-of-squares
Counts
3 → 103
Calls
3 calls:
17.0ms
(- (/ (* x 1.0) z) x)
89.0ms
(+ (- (/ (* x 1.0) z) x) (/ y (/ z x)))
7.0ms
(/ y (/ z x))

series133.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(- (/ (* x 1.0) z) x)
59.0ms
(+ (- (/ (* x 1.0) z) x) (/ y (/ z x)))
29.0ms
(/ y (/ z x))

simplify924.0ms

Counts
112 → 112
Iterations
IterNodes
done5001
22263
1540
0211

prune555.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ y (cbrt (/ z x))) (cbrt (/ z x)))
8.7b
(cbrt (/ z x))
8.7b
(cbrt (/ z x))
8.7b
(cbrt (/ z x))

rewrite201.0ms

Algorithm
rewrite-expression-head
Rules
2636×times-frac
1404×cbrt-prod
1154×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
126×div-inv
53×associate-/l*
21×cbrt-div
18×associate-/r/
16×associate-/r*
9×add-exp-log
6×add-cbrt-cube
4×pow1 add-log-exp
3×cbrt-undiv pow1/3 div-exp
1×clear-num frac-2neg associate-/l/
Counts
4 → 999
Calls
4 calls:
62.0ms
(/ (/ y (cbrt (/ z x))) (cbrt (/ z x)))
3.0ms
(cbrt (/ z x))
3.0ms
(cbrt (/ z x))
3.0ms
(cbrt (/ z x))

series354.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(/ (/ y (cbrt (/ z x))) (cbrt (/ z x)))
76.0ms
(cbrt (/ z x))
92.0ms
(cbrt (/ z x))
80.0ms
(cbrt (/ z x))

simplify3.1s

Counts
1011 → 1011
Iterations
IterNodes
done5000
13755
01639

prune7.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt x)
0.5b
(cbrt z)
8.7b
(cbrt (/ z x))
8.7b
(cbrt (/ z x))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
32×cbrt-prod
20×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
4×pow1 add-cbrt-cube pow1/3 add-exp-log add-log-exp
2×cbrt-div div-inv
Counts
4 → 66
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt z)
3.0ms
(cbrt (/ z x))
3.0ms
(cbrt (/ z x))

series661.0ms

Counts
4 → 12
Calls
4 calls:
284.0ms
(cbrt x)
212.0ms
(cbrt z)
74.0ms
(cbrt (/ z x))
92.0ms
(cbrt (/ z x))

simplify1.0s

Counts
78 → 78
Iterations
IterNodes
done5001
31839
2479
1173
0104

prune561.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes167.0ms

Accuracy

90.2% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 1.8b

bsearch71.0ms

Steps
ItersRangePoint
7
4.08401810934449e-61
4.428711523805545e-59
3.138245381438557e-60
6
-1.140217252786775e-69
-1.9281074939807177e-70
-4.241427555808642e-70

simplify3.0ms

Iterations
IterNodes
done32
132
025

end0.0ms

sample1.0s

Algorithm
intervals
Results
503.0ms10133×body80valid