Details

Time bar (total: 28.7s)

sample33.0ms

Algorithm
intervals
Results
24.0ms340×body80valid

simplify57.0ms

Calls
1 calls:
Slowest
57.0ms
(fabs (- (/ (+ x 4) y) (* (/ x y) z)))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.4b

localize15.0ms

Local error

Found 3 expressions with local error:

3.2b
(* (/ x y) z)
0.0b
(- (/ (+ x 4) y) (* (/ x y) z))
0.0b
(/ (+ x 4) y)

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
56×*-un-lft-identity
46×times-frac
41×add-sqr-sqrt
36×add-cube-cbrt
16×fma-neg prod-diff
13×associate-*l*
10×add-cbrt-cube add-exp-log distribute-lft-out
5×pow1 add-log-exp
4×div-inv associate-/l*
3×expm1-log1p-u associate-/r* associate-*r* associate-*l/ insert-posit16 log1p-expm1-u
2×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr associate-/l/
1×clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log pow-prod-down *-commutative frac-sub flip-+ flip-- sub-div
Calls
3 calls:
Slowest
72.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
17.0ms
(* (/ x y) z)
13.0ms
(/ (+ x 4) y)

series131.0ms

Calls
3 calls:
Slowest
77.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
29.0ms
(/ (+ x 4) y)
25.0ms
(* (/ x y) z)

simplify6.1s

Calls
115 calls:
Slowest
341.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))
259.0ms
(fma (/ (* (cbrt (+ x 4)) (cbrt (+ x 4))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ x 4)) (cbrt y)) (- (* z (/ x y))))
253.0ms
(fma (/ 1 (sqrt y)) (/ (+ x 4) (sqrt y)) (- (* z (/ x y))))
252.0ms
(fma (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x 4) (cbrt y)) (- (* z (/ x y))))
248.0ms
(- (* (+ x 4) y) (* y (* x z)))

prune1.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize31.0ms

Local error

Found 3 expressions with local error:

3.2b
(* (/ x y) z)
0.0b
(+ (/ (+ x 4) y) (- (* (/ x y) z)))
0.0b
(/ (+ x 4) y)

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
34×times-frac
33×add-sqr-sqrt
28×add-cube-cbrt
16×fma-def
13×associate-*l*
10×add-cbrt-cube add-exp-log
8×distribute-lft-out
7×add-log-exp
5×pow1
4×associate-/l*
3×expm1-log1p-u associate-/r* associate-*r* insert-posit16 log1p-expm1-u div-inv
2×cbrt-undiv sum-log flip3-+ div-exp associate-*l/ prod-exp cbrt-unprod flip-+ unswap-sqr associate-/l/
1×neg-sub0 +-commutative clear-num associate-+r- frac-2neg unsub-neg pow-prod-down neg-log frac-add *-commutative distribute-neg-frac
Calls
3 calls:
Slowest
25.0ms
(+ (/ (+ x 4) y) (- (* (/ x y) z)))
21.0ms
(* (/ x y) z)
19.0ms
(/ (+ x 4) y)

series116.0ms

Calls
3 calls:
Slowest
56.0ms
(+ (/ (+ x 4) y) (- (* (/ x y) z)))
34.0ms
(/ (+ x 4) y)
26.0ms
(* (/ x y) z)

simplify3.5s

Calls
87 calls:
Slowest
522.0ms
(* (exp (/ (+ x 4) y)) (/ 1 (exp (* (/ x y) z))))
412.0ms
(* (exp (/ (+ x 4) y)) (exp (- (* (/ x y) z))))
401.0ms
(/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y))
252.0ms
(* (* (* (/ x y) (/ x y)) (/ x y)) (* (* z z) z))
250.0ms
(+ (* (+ x 4) y) (* y (- (* x z))))

prune1.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

3.1b
(* (* (cbrt x) (cbrt x)) (* (/ (cbrt x) y) z))
1.3b
(* (/ (cbrt x) y) z)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
30×add-exp-log
28×add-sqr-sqrt
23×associate-*l*
21×add-cbrt-cube
20×*-un-lft-identity times-frac add-cube-cbrt
18×pow1
16×cbrt-prod
15×prod-exp cbrt-unprod
9×pow-prod-down
4×expm1-log1p-u associate-*r* insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp unswap-sqr
2×pow1/3 associate-*l/ *-commutative
1×associate-*r/ div-inv
Calls
4 calls:
Slowest
64.0ms
(* (* (cbrt x) (cbrt x)) (* (/ (cbrt x) y) z))
21.0ms
(* (/ (cbrt x) y) z)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series738.0ms

Calls
4 calls:
Slowest
262.0ms
(cbrt x)
246.0ms
(cbrt x)
158.0ms
(* (/ (cbrt x) y) z)
72.0ms
(* (* (cbrt x) (cbrt x)) (* (/ (cbrt x) y) z))

simplify6.1s

Calls
70 calls:
Slowest
913.0ms
(* (* x x) (* (/ x (* (* y y) y)) (* (* z z) z)))
504.0ms
(* (pow (* x -1) 1/3) (/ (* (cbrt -1) z) y))
403.0ms
(+ (log (* (cbrt x) (cbrt x))) (+ (- (log (cbrt x)) (log y)) (log z)))
386.0ms
(+ (+ (log (cbrt x)) (log (cbrt x))) (+ (- (log (cbrt x)) (log y)) (log z)))
324.0ms
(* (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (/ (cbrt x) y) z) (* (/ (cbrt x) y) z)) (* (/ (cbrt x) y) z)))

prune1.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

9.4b
(cbrt (/ x y))
9.4b
(cbrt (/ x y))
9.4b
(cbrt (/ x y))
0.7b
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) z))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
27×times-frac
25×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×pow1 add-exp-log
15×cbrt-div
10×add-cbrt-cube
9×associate-*l/
8×pow-prod-down prod-exp cbrt-unprod
5×frac-times
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 associate-*r/ div-inv
1×associate-*r* associate-*l* *-commutative
Calls
4 calls:
Slowest
64.0ms
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) z))
4.0ms
(cbrt (/ x y))
3.0ms
(cbrt (/ x y))
3.0ms
(cbrt (/ x y))

series284.0ms

Calls
4 calls:
Slowest
96.0ms
(cbrt (/ x y))
84.0ms
(cbrt (/ x y))
75.0ms
(cbrt (/ x y))
27.0ms
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) z))

simplify4.3s

Calls
77 calls:
Slowest
373.0ms
(exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x)))))
308.0ms
(exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x)))))
292.0ms
(* (* (/ x y) (/ x y)) (* (/ x y) (* (* z z) z)))
291.0ms
(exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x)))))
233.0ms
(exp (* 1/3 (- (log x) (log y))))

prune1.4s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes190.0ms

Accuracy

16.8% (2.0b remaining)

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

bsearch49.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.1s10107×body80valid