Details

Time bar (total: 55.1s)

sample33.0ms

Algorithm
intervals
Results
21.0ms313×body80valid

simplify421.0ms

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

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize7.0ms

Local error

Found 1 expressions with local error:

7.8b
(/ (* x y) z)

rewrite16.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×pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 div-inv associate-/l* add-log-exp
Counts
1 → 22
Calls
1 calls:
Slowest
15.0ms
(/ (* x y) z)

series29.0ms

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

simplify1.1s

Counts
29 → 25
Calls
29 calls:
Slowest
247.0ms
(* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
161.0ms
(/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z))
152.0ms
(/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))
71.0ms
(log (/ (* x y) z))
47.0ms
(/ (* x y) (* (cbrt z) (cbrt z)))

prune250.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize22.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×insert-posit16 add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 96
Calls
4 calls:
Slowest
57.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series889.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
283.0ms
(cbrt z)
263.0ms
(cbrt z)
253.0ms
(cbrt z)
88.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

simplify13.1s

Counts
120 → 108
Calls
120 calls:
Slowest
687.0ms
(* (/ (* (* x x) x) (* z z)) (/ (* (* y y) y) z))
612.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) 1))
463.0ms
(+ (- (log x) (log (* (cbrt z) (cbrt z)))) (- (log y) (log (cbrt z))))
447.0ms
(+ (- (log x) (+ (log (cbrt z)) (log (cbrt z)))) (log (/ y (cbrt z))))
425.0ms
(+ (- (log x) (log (* (cbrt z) (cbrt z)))) (log (/ y (cbrt z))))

prune1.2s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

3.2b
(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
40×add-exp-log
22×add-cbrt-cube
21×add-sqr-sqrt
15×prod-exp cbrt-unprod
14×times-frac
12×cbrt-prod cbrt-undiv div-exp
11×*-un-lft-identity add-cube-cbrt
8×associate-*r*
7×associate-*l*
6×pow1 unswap-sqr
4×insert-posit16 add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 88
Calls
4 calls:
Slowest
66.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
369.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
355.0ms
(cbrt y)
311.0ms
(cbrt y)
265.0ms
(cbrt y)

simplify15.2s

Counts
112 → 100
Calls
112 calls:
Slowest
718.0ms
(* (/ (* (* x x) x) (* z z)) (* (* (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z))))))
573.0ms
(* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z))))
556.0ms
(+ (log (/ x (* (cbrt z) (cbrt z)))) (- (log (* (cbrt y) (cbrt y))) (log (cbrt (* (cbrt z) (cbrt z))))))
554.0ms
(* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (* (* (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z))))))
501.0ms
(* (* (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z))))))

prune1.4s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 4 expressions with local error:

3.2b
(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
40×add-exp-log
22×add-cbrt-cube
21×add-sqr-sqrt
15×prod-exp cbrt-unprod
14×times-frac
12×cbrt-prod cbrt-undiv div-exp
11×*-un-lft-identity add-cube-cbrt
8×associate-*r*
7×associate-*l*
6×pow1 unswap-sqr
4×insert-posit16 add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 88
Calls
4 calls:
Slowest
78.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
2.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
335.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
309.0ms
(cbrt y)
309.0ms
(cbrt y)
291.0ms
(cbrt y)

simplify14.5s

Counts
112 → 100
Calls
112 calls:
Slowest
554.0ms
(* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (* (* (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z))))))
510.0ms
(* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z))))
483.0ms
(* (/ 1 (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
461.0ms
(* (* (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))) (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z))))))
453.0ms
(+ (log (/ x (* (cbrt z) (cbrt z)))) (- (log (* (cbrt y) (cbrt y))) (log (cbrt (* (cbrt z) (cbrt z))))))

prune1.7s

Pruning

10 alts after pruning (6 fresh and 4 done)

Merged error: 0.0b

regimes387.0ms

Accuracy

59.3% (1.8b remaining)

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

bsearch10.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.1s9629×body80valid