Details

Time bar (total: 30.2s)

sample41.0ms

Algorithm
intervals
Results
27.0ms302×body80valid

simplify394.0ms

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

prune18.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))

rewrite11.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×expm1-log1p-u cbrt-undiv div-exp pow-prod-down associate-*r/ *-commutative insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
1 → 35
Calls
1 calls:
Slowest
11.0ms
(* x (/ y z))

series25.0ms

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

simplify762.0ms

Counts
27 → 38
Calls
27 calls:
Slowest
281.0ms
(* (* (* x x) x) (* (* (/ y z) (/ y z)) (/ y z)))
133.0ms
(* (* (* x x) x) (/ (* (* y y) y) (* (* z z) z)))
60.0ms
(+ (log x) (log (/ y z)))
59.0ms
(+ (log x) (- (log y) (log z)))
43.0ms
(* (sqrt x) (/ (sqrt y) (sqrt z)))

prune466.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize37.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)

rewrite121.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×expm1-log1p-u rec-exp 1-exp insert-posit16 log1p-expm1-u 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 → 107
Calls
4 calls:
Slowest
117.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series995.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
347.0ms
(cbrt z)
295.0ms
(cbrt z)
272.0ms
(cbrt z)
81.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))

simplify10.3s

Counts
76 → 119
Calls
76 calls:
Slowest
630.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
531.0ms
(+ (+ (log x) (- (log 1) (log (* (cbrt z) (cbrt z))))) (- (log y) (log (cbrt z))))
514.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
485.0ms
(+ (+ (log x) (- 0 (+ (log (cbrt z)) (log (cbrt z))))) (log (/ y (cbrt z))))
470.0ms
(+ (+ (log x) (log (/ 1 (* (cbrt z) (cbrt z))))) (- (log y) (log (cbrt z))))

prune1.3s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0b

localize49.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)

rewrite112.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×expm1-log1p-u rec-exp 1-exp insert-posit16 log1p-expm1-u 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 → 101
Calls
4 calls:
Slowest
109.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)

series998.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
319.0ms
(cbrt z)
300.0ms
(cbrt z)
275.0ms
(cbrt z)
104.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z)))))

simplify10.1s

Counts
70 → 113
Calls
70 calls:
Slowest
909.0ms
(* (* (* (* x x) x) (/ (* (* 1 1) 1) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (* (* (/ y (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z)))) (/ y (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z))))) (/ y (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z))))))
503.0ms
(* (* x (/ 1 (* (cbrt z) (cbrt z)))) (/ y (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z)))))
503.0ms
(+ (+ (log x) (- (log (* (cbrt z) (cbrt z))))) (- (log y) (log (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z))))))
498.0ms
(+ (+ (log x) (log (/ 1 (* (cbrt z) (cbrt z))))) (- (log y) (log (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z))))))
487.0ms
(+ (+ (log x) (log (/ 1 (* (cbrt z) (cbrt z))))) (log (/ y (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z))))))

prune1.4s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 1 expressions with local error:

3.7b
(* (/ x z) y)

rewrite20.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×expm1-log1p-u cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
1 → 35
Calls
1 calls:
Slowest
19.0ms
(* (/ x z) y)

series31.0ms

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

simplify704.0ms

Counts
26 → 38
Calls
26 calls:
Slowest
229.0ms
(* (* (* (/ x z) (/ x z)) (/ x z)) (* (* y y) y))
98.0ms
(* (/ (* (* x x) x) (* (* z z) z)) (* (* y y) y))
54.0ms
(+ (log (/ x z)) (log y))
41.0ms
(/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))
38.0ms
(+ (- (log x) (log z)) (log y))

prune429.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes364.0ms

Accuracy

70.4% (1.7b remaining)

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

bsearch13.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s9591×body80valid