Details

Time bar (total: 14.2s)

sample41.0ms

Algorithm
intervals
Results
22.0ms346×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5000
81998
7830
6571
5421
4285
3178
278
127
09

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.6b

localize11.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (* z z) (+ z 1.0))
13.1b
(/ (* x y) (* (* z z) (+ z 1.0)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
28×add-cbrt-cube add-exp-log
12×prod-exp cbrt-unprod
7×pow1
6×cbrt-undiv div-exp
5×*-un-lft-identity
4×add-sqr-sqrt associate-*r* associate-*r/
3×pow-prod-down add-cube-cbrt
2×expm1-log1p-u flip3-+ associate-/r/ flip-+ log1p-expm1-u add-log-exp
1×distribute-rgt-in clear-num associate-/r* frac-2neg distribute-lft-in times-frac associate-*l* *-commutative div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
2 → 55
Calls
2 calls:
24.0ms
(* (* z z) (+ z 1.0))
24.0ms
(/ (* x y) (* (* z z) (+ z 1.0)))

series128.0ms

Counts
2 → 6
Calls
2 calls:
53.0ms
(* (* z z) (+ z 1.0))
75.0ms
(/ (* x y) (* (* z z) (+ z 1.0)))

simplify2.0s

Counts
61 → 61
Iterations
IterNodes
done5000
23636
1400
0116

prune246.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 2 expressions with local error:

0.7b
(/ (* (/ y z) (/ x z)) (+ z 1.0))
4.3b
(* (/ y z) (/ x z))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
32×add-cbrt-cube add-exp-log
30×add-sqr-sqrt
26×times-frac
22×*-un-lft-identity
18×add-cube-cbrt
13×cbrt-undiv div-exp associate-*r* associate-*l*
8×prod-exp cbrt-unprod
4×pow1 associate-/r* unswap-sqr
3×div-inv associate-/l/
2×expm1-log1p-u frac-times associate-*l/ associate-*r/ associate-/r/ log1p-expm1-u distribute-lft-out add-log-exp
1×clear-num frac-2neg flip3-+ pow-prod-down *-commutative flip-+ associate-/l*
Counts
2 → 88
Calls
2 calls:
24.0ms
(/ (* (/ y z) (/ x z)) (+ z 1.0))
18.0ms
(* (/ y z) (/ x z))

series102.0ms

Counts
2 → 6
Calls
2 calls:
61.0ms
(/ (* (/ y z) (/ x z)) (+ z 1.0))
41.0ms
(* (/ y z) (/ x z))

simplify2.1s

Counts
94 → 94
Iterations
IterNodes
done5000
23515
1547
0177

prune533.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.7b
(/ (* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (/ x z) (cbrt y)) z)) (+ z 1.0))
2.1b
(* (/ x z) (cbrt y))
4.5b
(* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (/ x z) (cbrt y)) z))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
203×add-exp-log
101×add-cbrt-cube
94×div-exp
78×prod-exp
54×cbrt-undiv
46×cbrt-unprod
35×add-sqr-sqrt
25×*-un-lft-identity
23×times-frac
20×associate-*l* add-cube-cbrt
16×1-exp
13×associate-*r*
8×cbrt-prod pow1
7×unswap-sqr
4×expm1-log1p-u associate-/r* log1p-expm1-u div-inv add-log-exp
3×associate-*l/ associate-/l/
2×frac-times pow-prod-down associate-*r/ associate-/r/ *-commutative distribute-lft-out
1×clear-num frac-2neg flip3-+ pow1/3 flip-+ associate-/l*
Counts
4 → 175
Calls
4 calls:
1.0ms
(cbrt y)
67.0ms
(/ (* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (/ x z) (cbrt y)) z)) (+ z 1.0))
21.0ms
(* (/ x z) (cbrt y))
59.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (/ x z) (cbrt y)) z))

series591.0ms

Counts
4 → 12
Calls
4 calls:
277.0ms
(cbrt y)
133.0ms
(/ (* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (/ x z) (cbrt y)) z)) (+ z 1.0))
117.0ms
(* (/ x z) (cbrt y))
64.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (/ x z) (cbrt y)) z))

simplify518.0ms

Counts
187 → 187
Iterations
IterNodes
done5001
11010
0297

prune1.0s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0b

localize63.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt y) (/ x (cbrt z)))) z)) (+ z 1.0))
0.9b
(* (cbrt y) (/ x (cbrt z)))
1.1b
(* (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt y) (/ x (cbrt z))))
4.5b
(* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt y) (/ x (cbrt z)))) z))

rewrite554.0ms

Algorithm
rewrite-expression-head
Rules
1638×add-exp-log
808×prod-exp
730×div-exp
348×add-cbrt-cube
216×cbrt-unprod
202×cbrt-undiv
158×1-exp
66×rec-exp
48×add-sqr-sqrt
37×times-frac
32×*-un-lft-identity
30×associate-*r*
27×add-cube-cbrt
20×associate-*l*
17×cbrt-prod
13×pow1
9×unswap-sqr
6×associate-*r/
5×pow-prod-down div-inv
4×expm1-log1p-u associate-/r* log1p-expm1-u add-log-exp
3×frac-times associate-*l/ *-commutative associate-/l/
2×associate-/r/ distribute-lft-out
1×clear-num frac-2neg flip3-+ flip-+ associate-/l*
Counts
4 → 458
Calls
4 calls:
207.0ms
(/ (* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt y) (/ x (cbrt z)))) z)) (+ z 1.0))
22.0ms
(* (cbrt y) (/ x (cbrt z)))
58.0ms
(* (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt y) (/ x (cbrt z))))
211.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt y) (/ x (cbrt z)))) z))

series418.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(/ (* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt y) (/ x (cbrt z)))) z)) (+ z 1.0))
99.0ms
(* (cbrt y) (/ x (cbrt z)))
212.0ms
(* (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt y) (/ x (cbrt z))))
48.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt y) (/ x (cbrt z)))) z))

simplify846.0ms

Counts
470 → 470
Iterations
IterNodes
done5002
12652
0665

prune1.7s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0b

regimes396.0ms

Accuracy

55.6% (1.8b remaining)

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

bsearch61.0ms

Steps
ItersRangePoint
7
3.150254826594797e+156
7.200366092400048e+158
5.191568567623519e+158
1
-2.0452606610770355e-70
-1.8988493004919943e-70
-2.0086578209307754e-70

simplify6.0ms

Iterations
IterNodes
done39
139
031

end0.0ms

sample941.0ms

Algorithm
intervals
Results
630.0ms10762×body80valid