Details

Time bar (total: 12.8s)

sample39.0ms

Algorithm
intervals
Results
22.0ms318×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5002
82925
71629
6983
5570
4240
399
242
122
08

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.3b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt
6×add-cube-cbrt
5×associate-*r*
4×pow1 associate-*r/
3×associate-/r* times-frac associate-*l*
2×cbrt-undiv flip3-+ div-exp prod-exp cbrt-unprod flip-+ insert-posit16 distribute-lft-out add-log-exp associate-/l/
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow-prod-down *-commutative div-inv associate-/l* distribute-lft-out-- unswap-sqr
Counts
2 → 49
Calls
2 calls:
131.0ms
(* x (+ (- y z) 1.0))
76.0ms
(/ (* x (+ (- y z) 1.0)) z)

series131.0ms

Counts
2 → 6
Calls
2 calls:
57.0ms
(* x (+ (- y z) 1.0))
74.0ms
(/ (* x (+ (- y z) 1.0)) z)

simplify2.2s

Counts
55 → 55
Iterations
IterNodes
done5004
34374
2897
1268
096

prune170.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
57×*-un-lft-identity
31×times-frac
27×add-sqr-sqrt
22×add-cube-cbrt
19×associate-*r*
14×distribute-lft-out
9×add-cbrt-cube add-exp-log
7×distribute-lft-out--
5×associate-/l*
4×pow1
3×associate-/r* associate-*l*
2×cbrt-undiv div-exp prod-exp cbrt-unprod insert-posit16 div-inv add-log-exp unswap-sqr associate-/l/
1×clear-num frac-2neg flip3-+ div-sub pow-prod-down associate-*r/ *-commutative associate-+l- flip-+
Counts
2 → 78
Calls
2 calls:
98.0ms
(/ (+ (- y z) 1.0) z)
91.0ms
(* x (/ (+ (- y z) 1.0) z))

series82.0ms

Counts
2 → 6
Calls
2 calls:
26.0ms
(/ (+ (- y z) 1.0) z)
56.0ms
(* x (/ (+ (- y z) 1.0) z))

simplify2.2s

Counts
84 → 84
Iterations
IterNodes
done5008
34280
2927
1283
0109

prune213.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×associate-*l*
12×*-un-lft-identity
10×times-frac add-cube-cbrt
7×add-cbrt-cube add-exp-log
4×pow1 associate-*r* add-log-exp
2×distribute-rgt-in frac-times distribute-lft-in flip3-+ prod-exp associate--l+ associate-*r/ cbrt-unprod flip-+ insert-posit16 unswap-sqr
1×cbrt-undiv sub-neg flip3-- diff-log div-exp pow-prod-down associate-*l/ *-commutative div-inv flip-- distribute-lft-out
Counts
2 → 55
Calls
2 calls:
15.0ms
(- (* (/ x z) (+ y 1.0)) x)
30.0ms
(* (/ x z) (+ y 1.0))

series103.0ms

Counts
2 → 6
Calls
2 calls:
57.0ms
(- (* (/ x z) (+ y 1.0)) x)
46.0ms
(* (/ x z) (+ y 1.0))

simplify1.1s

Counts
61 → 61
Iterations
IterNodes
done5000
21320
1381
0116

prune233.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)
4.7b
(* (/ x (* (cbrt z) (cbrt z))) (/ (+ (- y z) 1.0) (cbrt z)))

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
56×*-un-lft-identity
42×add-sqr-sqrt
40×times-frac
34×associate-*r*
26×cbrt-prod add-cube-cbrt
25×add-exp-log
18×add-cbrt-cube
12×distribute-lft-out
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp associate-*l*
6×pow1 distribute-lft-out-- unswap-sqr
4×insert-posit16 add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 108
Calls
4 calls:
2.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
123.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (+ (- y z) 1.0) (cbrt z)))

series783.0ms

Counts
4 → 12
Calls
4 calls:
255.0ms
(cbrt z)
219.0ms
(cbrt z)
215.0ms
(cbrt z)
94.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (+ (- y z) 1.0) (cbrt z)))

simplify1.4s

Counts
120 → 120
Iterations
IterNodes
done5001
22080
1488
0150

prune402.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes186.0ms

Accuracy

84.7% (0.2b remaining)

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

bsearch1.0ms

simplify4.0ms

Iterations
IterNodes
done28
128
020

end0.0ms

sample1.1s

Algorithm
intervals
Results
854.0ms10009×body80valid