Details

Time bar (total: 53.3s)

sample34.0ms

Algorithm
intervals
Results
22.0ms256×body80valid

simplify18.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
17.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.4b

localize34.0ms

Local error

Found 2 expressions with local error:

29.0b
(sqrt (+ (* re re) (* im im)))
0.6b
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
22×log-pow
20×pow1
16×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
6×sqrt-pow1 pow1/2 associate-/l*
4×associate-/r* add-cbrt-cube sqrt-div add-exp-log
3×sqrt-prod
2×log-div flip3-+ div-sub flip-+ insert-posit16 add-log-exp
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg div-exp div-inv
Counts
2 → 65
Calls
2 calls:
Slowest
39.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
6.0ms
(sqrt (+ (* re re) (* im im)))

series244.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
190.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
54.0ms
(sqrt (+ (* re re) (* im im)))

simplify2.8s

Counts
72 → 71
Calls
72 calls:
Slowest
455.0ms
(/ (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log 10) (log 10)) (log 10)))
296.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
266.0ms
(/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (log 10))
266.0ms
(/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (log 10))
253.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune861.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 8.6b

localize39.0ms

Local error

Found 4 expressions with local error:

30.0b
(cbrt (+ (* re re) (* im im)))
30.0b
(cbrt (+ (* re re) (* im im)))
0.6b
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (log 10))
0.3b
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt pow1
21×*-un-lft-identity add-cube-cbrt
20×times-frac
16×log-pow
10×cbrt-prod
9×associate-*r*
8×cbrt-div add-cbrt-cube add-exp-log sqrt-prod
6×pow-prod-down
5×associate-/l*
4×associate-/r* flip3-+ sqrt-div associate-*r/ flip-+ insert-posit16 add-log-exp
3×associate-*l* unswap-sqr
2×log-div pow1/3 div-sub
1×cbrt-undiv clear-num frac-2neg div-exp prod-exp *-commutative cbrt-unprod div-inv
Counts
4 → 101
Calls
4 calls:
Slowest
74.0ms
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (log 10))
23.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
8.0ms
(cbrt (+ (* re re) (* im im)))
7.0ms
(cbrt (+ (* re re) (* im im)))

series622.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
224.0ms
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (log 10))
148.0ms
(cbrt (+ (* re re) (* im im)))
131.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
119.0ms
(cbrt (+ (* re re) (* im im)))

simplify6.7s

Counts
94 → 113
Calls
94 calls:
Slowest
415.0ms
(+ (* (fabs (pow (+ (pow im 2) (pow re 2)) 1/3)) (pow im 1/3)) (* 1/6 (* (* (pow re 2) (fabs (pow (+ (pow im 2) (pow re 2)) 1/3))) (pow (/ 1 (pow im 5)) 1/3))))
404.0ms
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (pow (* re re) 3) (pow (* im im) 3)))))) (log 10))
389.0ms
(* (* (* (fabs (cbrt (+ (* re re) (* im im)))) (fabs (cbrt (+ (* re re) (* im im))))) (fabs (cbrt (+ (* re re) (* im im))))) (* (* (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))) (sqrt (cbrt (+ (* re re) (* im im))))))
380.0ms
(sqrt (cbrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))))
334.0ms
(/ (* (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))))) (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))))) (* (* (log 10) (log 10)) (log 10)))

prune1.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 8.5b

localize50.0ms

Local error

Found 4 expressions with local error:

30.0b
(cbrt (+ (* re re) (* im im)))
30.0b
(cbrt (+ (* re re) (* im im)))
0.5b
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (sqrt (log 10)))
0.3b
(* (/ 1 (sqrt (log 10))) (/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (sqrt (log 10))))

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
113×times-frac
104×add-sqr-sqrt
67×sqrt-prod
65×pow1
64×*-un-lft-identity
58×add-cube-cbrt
44×log-pow
39×associate-*r*
28×add-exp-log
25×associate-*l*
18×add-cbrt-cube
16×pow-prod-down
15×unswap-sqr
9×div-exp
8×prod-exp
7×associate-/r*
6×cbrt-prod cbrt-div
5×cbrt-undiv associate-/l*
4×cbrt-unprod insert-posit16 add-log-exp
3×flip3-+ associate-*r/ flip-+ div-inv
2×log-div rec-exp pow1/3 sqrt-div 1-exp div-sub
1×frac-times clear-num frac-2neg associate-*l/ *-commutative
Counts
4 → 194
Calls
4 calls:
Slowest
80.0ms
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (sqrt (log 10)))
52.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (sqrt (log 10))))
4.0ms
(cbrt (+ (* re re) (* im im)))
4.0ms
(cbrt (+ (* re re) (* im im)))

series846.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
343.0ms
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (sqrt (log 10)))
230.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (sqrt (log 10))))
142.0ms
(cbrt (+ (* re re) (* im im)))
130.0ms
(cbrt (+ (* re re) (* im im)))

simplify15.5s

Counts
214 → 206
Calls
214 calls:
Slowest
691.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (* (* (/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (sqrt (log 10))) (/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (sqrt (log 10)))) (/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (sqrt (log 10)))))
415.0ms
(* (sqrt (/ 1 (log 10))) (log (* (pow (* re -1) 1/3) (fabs (pow (+ (pow im 2) (pow re 2)) 1/3)))))
414.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (/ (* (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))))) (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))
374.0ms
(* (sqrt (/ 1 (log 10))) (log (* (pow re 1/3) (fabs (pow (+ (pow im 2) (pow re 2)) 1/3)))))
360.0ms
(/ (log (* (pow (* re -1) 1/3) (fabs (pow (+ (pow im 2) (pow re 2)) 1/3)))) (log 10))

prune3.4s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 8.5b

localize52.0ms

Local error

Found 4 expressions with local error:

30.0b
(cbrt (+ (* re re) (* im im)))
30.0b
(cbrt (+ (* re re) (* im im)))
0.3b
(* (/ 1 (sqrt (log 10))) (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (/ 1 (sqrt (log 10)))))
0.3b
(* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (/ 1 (sqrt (log 10))))

rewrite183.0ms

Algorithm
rewrite-expression-head
Rules
78×add-exp-log
47×add-sqr-sqrt
46×times-frac
40×prod-exp
37×*-un-lft-identity
35×add-cube-cbrt
30×add-cbrt-cube associate-*l*
26×associate-*r* sqrt-prod
20×pow1 div-exp
12×cbrt-unprod
10×rec-exp 1-exp
8×log-pow
6×cbrt-prod cbrt-undiv
5×pow-prod-down associate-*r/ unswap-sqr
4×cbrt-div insert-posit16 add-log-exp
3×un-div-inv
2×frac-times flip3-+ pow1/3 *-commutative flip-+ div-inv
1×associate-*l/
Counts
4 → 149
Calls
4 calls:
Slowest
105.0ms
(* (/ 1 (sqrt (log 10))) (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (/ 1 (sqrt (log 10)))))
60.0ms
(* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (/ 1 (sqrt (log 10))))
8.0ms
(cbrt (+ (* re re) (* im im)))
7.0ms
(cbrt (+ (* re re) (* im im)))

series846.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
337.0ms
(* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (/ 1 (sqrt (log 10))))
218.0ms
(* (/ 1 (sqrt (log 10))) (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (/ 1 (sqrt (log 10)))))
153.0ms
(cbrt (+ (* re re) (* im im)))
137.0ms
(cbrt (+ (* re re) (* im im)))

simplify13.8s

Counts
127 → 161
Calls
127 calls:
Slowest
709.0ms
(* (* (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))))) (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))))) (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))))
606.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (* (* (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (/ 1 (sqrt (log 10)))) (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (/ 1 (sqrt (log 10))))) (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (/ 1 (sqrt (log 10))))))
454.0ms
(* (sqrt (/ 1 (log 10))) (log (* (pow (* re -1) 1/3) (fabs (pow (+ (pow im 2) (pow re 2)) 1/3)))))
436.0ms
(* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (* (* (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (/ 1 (sqrt (log 10)))) (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (/ 1 (sqrt (log 10))))) (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (/ 1 (sqrt (log 10))))))
433.0ms
(* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (* (* (* (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))))) (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))))) (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10))))))

prune2.6s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 8.5b

regimes1.2s

Accuracy

58.3% (9.9b remaining)

Error of 17.2b against oracle of 7.3b and baseline of 31.0b

bsearch113.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.5s8000×body80valid