Details

Time bar (total: 27.6s)

sample33.0ms

Algorithm
intervals
Results
22.0ms302×body80valid

simplify383.0ms

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

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.6b

localize13.0ms

Local error

Found 1 expressions with local error:

6.6b
(* x (/ y z))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*r*
10×times-frac
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
3×pow1 associate-*l*
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*r/ *-commutative insert-posit16 div-inv add-log-exp
Counts
1 → 33
Calls
1 calls:
Slowest
16.0ms
(* x (/ y z))

series24.0ms

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

simplify761.0ms

Counts
27 → 36
Calls
27 calls:
Slowest
291.0ms
(* (* (* x x) x) (* (* (/ y z) (/ y z)) (/ y z)))
145.0ms
(* (* (* x x) x) (/ (* (* y y) y) (* (* z z) z)))
56.0ms
(+ (log x) (- (log y) (log z)))
44.0ms
(+ (log x) (log (/ y z)))
43.0ms
(* (sqrt x) (/ (sqrt y) (sqrt z)))

prune287.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

4.4b
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
68×add-exp-log
36×prod-exp
28×add-cbrt-cube
22×associate-*r*
20×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×cbrt-prod times-frac
16×div-exp cbrt-unprod
9×pow1
8×cbrt-undiv
4×rec-exp 1-exp insert-posit16 add-log-exp
3×pow1/3 pow-prod-down associate-*r/
2×frac-times associate-*l/ un-div-inv
1×associate-*l* *-commutative div-inv
Counts
4 → 99
Calls
4 calls:
Slowest
116.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
324.0ms
(cbrt z)
312.0ms
(cbrt z)
311.0ms
(cbrt z)
67.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))

simplify9.8s

Counts
76 → 111
Calls
76 calls:
Slowest
725.0ms
(+ (log (* x (/ 1 (* (cbrt z) (cbrt z))))) (- (log y) (log (cbrt z))))
509.0ms
(+ (+ (log x) (- 0 (+ (log (cbrt z)) (log (cbrt z))))) (log (/ y (cbrt z))))
482.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
478.0ms
(+ (+ (log x) (log (/ 1 (* (cbrt z) (cbrt z))))) (- (log y) (log (cbrt z))))
470.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))

prune1.2s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

4.4b
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z)))))
0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
68×add-exp-log
36×prod-exp
28×add-cbrt-cube
16×div-exp associate-*r* cbrt-unprod
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×cbrt-prod times-frac
9×pow1
8×cbrt-undiv
4×rec-exp 1-exp insert-posit16 add-log-exp
3×pow1/3 pow-prod-down associate-*r/
2×frac-times associate-*l/ un-div-inv
1×associate-*l* *-commutative div-inv
Counts
4 → 93
Calls
4 calls:
Slowest
127.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z)))))
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series876.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
267.0ms
(cbrt z)
264.0ms
(cbrt z)
262.0ms
(cbrt z)
84.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z)))))

simplify8.7s

Counts
70 → 105
Calls
70 calls:
Slowest
532.0ms
(+ (+ (log x) (- (log (* (cbrt z) (cbrt z))))) (- (log y) (log (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z))))))
477.0ms
(+ (+ (log x) (log (/ 1 (* (cbrt z) (cbrt z))))) (- (log y) (log (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z))))))
464.0ms
(+ (+ (log x) (log (/ 1 (* (cbrt z) (cbrt z))))) (log (/ y (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z))))))
415.0ms
(+ (+ (log x) (- (log 1) (log (* (cbrt z) (cbrt z))))) (log (/ y (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z))))))
392.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z)))))

prune1.3s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize13.0ms

Local error

Found 1 expressions with local error:

3.7b
(* (/ x z) y)

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*l*
10×times-frac
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
3×pow1 associate-*r*
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative insert-posit16 div-inv add-log-exp
Counts
1 → 33
Calls
1 calls:
Slowest
9.0ms
(* (/ x z) y)

series33.0ms

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

simplify612.0ms

Counts
26 → 36
Calls
26 calls:
Slowest
162.0ms
(* (* (* (/ x z) (/ x z)) (/ x z)) (* (* y y) y))
102.0ms
(* (/ (* (* x x) x) (* (* z z) z)) (* (* y y) y))
49.0ms
(+ (log (/ x z)) (log y))
36.0ms
(+ (- (log x) (log z)) (log y))
28.0ms
(/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))

prune361.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes382.0ms

Accuracy

70.4% (1.7b remaining)

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

bsearch23.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.1s9591×body80valid