Details

Time bar (total: 13.8s)

sample42.0ms

Algorithm
intervals
Results
17.0ms322×body80valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done5000
64079
5803
4229
384
234
114
08

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.6b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
9×*-un-lft-identity
8×associate-*l*
7×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
6×associate-*r*
5×add-log-exp
3×sub-neg flip3-- flip--
2×distribute-rgt-in distribute-lft-in pow-prod-down associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod unswap-sqr
1×diff-log distribute-lft-out-- difference-of-squares
Counts
3 → 58
Calls
3 calls:
33.0ms
(* (- 1.0 y) z)
8.0ms
(- 1.0 (* (- 1.0 y) z))
25.0ms
(* x (- 1.0 (* (- 1.0 y) z)))

series159.0ms

Counts
3 → 9
Calls
3 calls:
47.0ms
(* (- 1.0 y) z)
25.0ms
(- 1.0 (* (- 1.0 y) z))
87.0ms
(* x (- 1.0 (* (- 1.0 y) z)))

simplify937.0ms

Counts
67 → 67
Iterations
IterNodes
done5000
2935
1248
0102

prune403.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 3.5b

localize52.0ms

Local error

Found 4 expressions with local error:

0.8b
(* x (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z)))))
3.6b
(cbrt (- 1.0 (* (- 1.0 y) z)))
3.6b
(cbrt (- 1.0 (* (- 1.0 y) z)))
3.6b
(cbrt (- 1.0 (* (- 1.0 y) z)))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
10×associate-*r/
9×cbrt-prod add-sqr-sqrt pow1 flip3-- add-exp-log flip--
8×*-un-lft-identity add-cube-cbrt
7×add-cbrt-cube
4×frac-times add-log-exp
3×pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod
2×associate-*l/
1×associate-*r* *-commutative unswap-sqr
Counts
4 → 66
Calls
4 calls:
54.0ms
(* x (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z)))))
2.0ms
(cbrt (- 1.0 (* (- 1.0 y) z)))
2.0ms
(cbrt (- 1.0 (* (- 1.0 y) z)))
3.0ms
(cbrt (- 1.0 (* (- 1.0 y) z)))

series942.0ms

Counts
4 → 12
Calls
4 calls:
245.0ms
(* x (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z)))))
134.0ms
(cbrt (- 1.0 (* (- 1.0 y) z)))
143.0ms
(cbrt (- 1.0 (* (- 1.0 y) z)))
421.0ms
(cbrt (- 1.0 (* (- 1.0 y) z)))

simplify1.9s

Counts
78 → 78
Iterations
IterNodes
done5002
34620
21117
1389
0148

prune465.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 3.4b

localize34.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)
3.3b
(* x (- 1.0 (* (* (- 1.0 y) (* (cbrt z) (cbrt z))) (cbrt z))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod *-un-lft-identity add-cube-cbrt
6×pow1 add-cbrt-cube add-exp-log
4×add-log-exp
3×pow1/3 associate-*r* associate-*l*
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-- unswap-sqr
Counts
4 → 57
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
22.0ms
(* x (- 1.0 (* (* (- 1.0 y) (* (cbrt z) (cbrt z))) (cbrt z))))

series942.0ms

Counts
4 → 12
Calls
4 calls:
255.0ms
(cbrt z)
253.0ms
(cbrt z)
296.0ms
(cbrt z)
138.0ms
(* x (- 1.0 (* (* (- 1.0 y) (* (cbrt z) (cbrt z))) (cbrt z))))

simplify995.0ms

Counts
69 → 69
Iterations
IterNodes
done5000
2769
1195
079

prune409.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (* z x))
0.0b
(+ (* 1.0 (- x (* z x))) (* (* z x) y))
2.9b
(* (* z x) y)

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
8×pow1 add-cbrt-cube add-exp-log
7×add-log-exp
5×*-un-lft-identity
4×add-sqr-sqrt associate-+l+ add-cube-cbrt
3×sub-neg associate-*r* pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in distribute-lft-in
1×+-commutative sum-log flip3-+ flip3-- distribute-rgt-out-- diff-log associate-*l* *-commutative flip-+ flip--
Counts
3 → 46
Calls
3 calls:
4.0ms
(- x (* z x))
24.0ms
(+ (* 1.0 (- x (* z x))) (* (* z x) y))
15.0ms
(* (* z x) y)

series175.0ms

Counts
3 → 9
Calls
3 calls:
51.0ms
(- x (* z x))
94.0ms
(+ (* 1.0 (- x (* z x))) (* (* z x) y))
30.0ms
(* (* z x) y)

simplify1.3s

Counts
55 → 55
Iterations
IterNodes
done5000
21640
1267
095

prune237.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes591.0ms

Accuracy

94% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 1.6b

bsearch93.0ms

Steps
ItersRangePoint
9
9.829243130708113e-81
1.479501143046183e-75
3.384200571349337e-78
8
-6.073265186640429e-22
-3.7552132836413273e-26
-5.9576147373230005e-22

simplify6.0ms

Iterations
IterNodes
done31
131
022

end0.0ms

sample710.0ms

Algorithm
intervals
Results
398.0ms10082×body80valid