Details

Time bar (total: 43.3s)

sample28.0ms

Algorithm
intervals
Results
9.0ms316×body80valid

simplify8.9s

Counts
1 → 1
Iterations
IterNodes
done5001
574953
564873
554787
544707
534621
524541
514455
504375
494289
484209
474123
464043
453957
443877
433791
423711
413625
403545
393459
383379
373293
363213
353127
343047
332961
322881
312795
302715
292629
282549
272463
262383
252297
242217
232131
222051
211965
201883
191801
181715
171631
161529
151453
141357
131251
121108
11757
10223
9129
8101
778
662
558
451
334
220
113
08

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
5×associate-*l*
4×pow1 add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
3×associate-*r*
2×associate-*l/ insert-posit16
1×+-commutative sum-log flip3-+ flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 35
Calls
2 calls:
12.0ms
(+ (* x y) (* (- x 1.0) z))
52.0ms
(* (- x 1.0) z)

series110.0ms

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

simplify5.1s

Counts
41 → 41
Iterations
IterNodes
done5024
32559
2587
1193
073

prune527.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize83.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt z) (cbrt z))
0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 77
Calls
4 calls:
20.0ms
(* (cbrt z) (cbrt z))
2.0ms
(cbrt z)
2.0ms
(cbrt z)
2.0ms
(cbrt z)

series1.4s

Counts
4 → 12
Calls
4 calls:
378.0ms
(* (cbrt z) (cbrt z))
364.0ms
(cbrt z)
317.0ms
(cbrt z)
352.0ms
(cbrt z)

simplify7.4s

Counts
89 → 89
Iterations
IterNodes
done5015
43770
31044
2353
1137
063

prune997.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize46.0ms

Local error

Found 3 expressions with local error:

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

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
10×add-cbrt-cube add-exp-log
9×add-sqr-sqrt
7×add-cube-cbrt
5×pow1 add-log-exp
4×associate-/r* times-frac associate-*l* associate-*l/
3×associate-*r* insert-posit16
2×cbrt-undiv flip3-+ flip3-- div-exp prod-exp associate-/r/ cbrt-unprod flip-+ flip-- distribute-lft-out associate-/l/
1×+-commutative clear-num sum-log frac-2neg pow-prod-down *-commutative div-inv associate-/l* difference-of-squares unswap-sqr
Counts
3 → 62
Calls
3 calls:
38.0ms
(+ (* x y) (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
46.0ms
(* (- (* x x) (* 1.0 1.0)) z)
40.0ms
(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

series276.0ms

Counts
3 → 9
Calls
3 calls:
123.0ms
(+ (* x y) (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
65.0ms
(* (- (* x x) (* 1.0 1.0)) z)
88.0ms
(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

simplify3.1s

Counts
71 → 71
Iterations
IterNodes
done5001
21470
1378
0126

prune873.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize186.0ms

Local error

Found 4 expressions with local error:

2.5b
(* y (* x (* (* x y) (* x y))))
2.7b
(+ (* y (* x (* (* x y) (* x y)))) (* (* (* 1 (/ (- x 1.0) (/ 1 z))) (* 1 (/ (- x 1.0) (/ 1 z)))) (* 1 (/ (- x 1.0) (/ 1 z)))))
3.5b
(* (* y x) (- (* y x) (* 1 (/ (- x 1.0) (/ 1 z)))))
42.0b
(/ (+ (* y (* x (* (* x y) (* x y)))) (* (* (* 1 (/ (- x 1.0) (/ 1 z))) (* 1 (/ (- x 1.0) (/ 1 z)))) (* 1 (/ (- x 1.0) (/ 1 z))))) (+ (* (* 1 (/ (- x 1.0) (/ 1 z))) (* 1 (/ (- x 1.0) (/ 1 z)))) (* (* y x) (- (* y x) (* 1 (/ (- x 1.0) (/ 1 z)))))))

rewrite2.3s

Algorithm
rewrite-expression-head
Rules
36×add-cbrt-cube add-exp-log
34×pow1
22×pow-prod-down prod-exp cbrt-unprod
18×associate-*r/
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
8×associate-/r/
6×frac-add add-log-exp
4×flip3-- associate-*r* associate-*l* insert-posit16 flip--
3×associate-/r* flip3-+ flip-+ associate-/l*
2×distribute-rgt-in frac-times sub-neg distribute-lft-in associate-*l/ *-commutative associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp div-inv
Counts
4 → 106
Calls
4 calls:
318.0ms
(* y (* x (* (* x y) (* x y))))
412.0ms
(+ (* y (* x (* (* x y) (* x y)))) (* (* (* 1 (/ (- x 1.0) (/ 1 z))) (* 1 (/ (- x 1.0) (/ 1 z)))) (* 1 (/ (- x 1.0) (/ 1 z)))))
85.0ms
(* (* y x) (- (* y x) (* 1 (/ (- x 1.0) (/ 1 z)))))
1.4s
(/ (+ (* y (* x (* (* x y) (* x y)))) (* (* (* 1 (/ (- x 1.0) (/ 1 z))) (* 1 (/ (- x 1.0) (/ 1 z)))) (* 1 (/ (- x 1.0) (/ 1 z))))) (+ (* (* 1 (/ (- x 1.0) (/ 1 z))) (* 1 (/ (- x 1.0) (/ 1 z)))) (* (* y x) (- (* y x) (* 1 (/ (- x 1.0) (/ 1 z)))))))

series1.3s

Counts
4 → 12
Calls
4 calls:
148.0ms
(* y (* x (* (* x y) (* x y))))
340.0ms
(+ (* y (* x (* (* x y) (* x y)))) (* (* (* 1 (/ (- x 1.0) (/ 1 z))) (* 1 (/ (- x 1.0) (/ 1 z)))) (* 1 (/ (- x 1.0) (/ 1 z)))))
78.0ms
(* (* y x) (- (* y x) (* 1 (/ (- x 1.0) (/ 1 z)))))
703.0ms
(/ (+ (* y (* x (* (* x y) (* x y)))) (* (* (* 1 (/ (- x 1.0) (/ 1 z))) (* 1 (/ (- x 1.0) (/ 1 z)))) (* 1 (/ (- x 1.0) (/ 1 z))))) (+ (* (* 1 (/ (- x 1.0) (/ 1 z))) (* 1 (/ (- x 1.0) (/ 1 z)))) (* (* y x) (- (* y x) (* 1 (/ (- x 1.0) (/ 1 z)))))))

simplify7.1s

Counts
118 → 118
Iterations
IterNodes
done5001
23342
1789
0244

prune1.5s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes785.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done11
111
08

end0.0ms

sample1.1s

Algorithm
intervals
Results
528.0ms10127×body80valid