Details

Time bar (total: 27.8s)

sample47.0ms

Algorithm
intervals
Results
32.0ms313×body80valid

simplify406.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
406.0ms
(* x (/ (* (/ y z) t) t))

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize19.0ms

Local error

Found 1 expressions with local error:

7.8b
(/ (* x y) z)

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
6×add-cbrt-cube add-exp-log
3×add-sqr-sqrt associate-/r* *-un-lft-identity times-frac add-cube-cbrt
2×cbrt-undiv div-exp
1×expm1-log1p-u pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 log1p-expm1-u div-inv associate-/l* add-log-exp
Counts
1 → 24
Calls
1 calls:
Slowest
18.0ms
(/ (* x y) z)

series36.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
36.0ms
(/ (* x y) z)

simplify1.0s

Counts
31 → 27
Calls
31 calls:
Slowest
278.0ms
(* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
134.0ms
(/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z))
118.0ms
(/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))
47.0ms
(/ (* x y) (* (cbrt z) (cbrt z)))
45.0ms
(- (+ (log x) (log y)) (log z))

prune237.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

5.0b
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
28×times-frac
25×add-exp-log
22×*-un-lft-identity associate-*r* add-cube-cbrt
20×cbrt-prod
18×add-cbrt-cube
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp associate-*l*
6×pow1 unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 104
Calls
4 calls:
Slowest
56.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
2.0ms
(cbrt z)
2.0ms
(cbrt z)
1.0ms
(cbrt z)

series957.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
322.0ms
(cbrt z)
291.0ms
(cbrt z)
269.0ms
(cbrt z)
74.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

simplify12.6s

Counts
128 → 116
Calls
128 calls:
Slowest
626.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) 1))
551.0ms
(* (/ (* (* x x) x) (* z z)) (/ (* (* y y) y) z))
547.0ms
(+ (- (log x) (log (* (cbrt z) (cbrt z)))) (- (log y) (log (cbrt z))))
445.0ms
(+ (- (log x) (log (* (cbrt z) (cbrt z)))) (log (/ y (cbrt z))))
442.0ms
(+ (log (/ x (* (cbrt z) (cbrt z)))) (- (log y) (log (cbrt z))))

prune1.4s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 1 expressions with local error:

7.3b
(/ x (/ z y))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
43×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-/r*
6×add-cbrt-cube add-exp-log
5×div-inv
3×cbrt-undiv div-exp associate-/l*
1×expm1-log1p-u pow1 clear-num frac-2neg associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
Counts
1 → 73
Calls
1 calls:
Slowest
8.0ms
(/ x (/ z y))

series24.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
24.0ms
(/ x (/ z y))

simplify5.2s

Counts
116 → 76
Calls
116 calls:
Slowest
523.0ms
(/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
419.0ms
(/ (* (* x x) x) (* (* (/ z y) (/ z y)) (/ z y)))
271.0ms
(* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
229.0ms
(/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt y) (cbrt y))))
164.0ms
(/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))

prune690.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
0.5b
(cbrt z)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 56
Calls
4 calls:
Slowest
6.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt z)
1.0ms
(cbrt x)

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
335.0ms
(cbrt x)
301.0ms
(cbrt x)
298.0ms
(cbrt z)
264.0ms
(cbrt x)

simplify934.0ms

Counts
76 → 68
Calls
76 calls:
Slowest
152.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
142.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
133.0ms
(* (cbrt -1) (pow (* z -1) 1/3))
125.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
34.0ms
(pow (/ 1 z) -1/3)

prune761.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes296.0ms

Accuracy

0% (1.9b remaining)

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

bsearch2.0ms

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.4s9629×body80valid