Details

Time bar (total: 12.2s)

sample45.0ms

Algorithm
intervals
Results
28.0ms256×body80valid
6.0ms256×pre80true

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
done2284
42284
3711
2147
132
010

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize28.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (/ 1/2 (- 4 (/ 1.0 (* i i)))) 1/2)
0.4b
(/ 1/2 (- 4 (/ 1.0 (* i i))))
0.7b
(/ 1.0 (* i i))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
60×add-sqr-sqrt
47×times-frac
41×*-un-lft-identity
27×add-cube-cbrt
24×associate-*l*
15×add-cbrt-cube add-exp-log
14×difference-of-squares
7×associate-/r* distribute-lft-out--
6×associate-/l*
5×pow1
4×cbrt-undiv div-exp associate-/r/
3×associate-*r* prod-exp cbrt-unprod insert-posit16 div-inv add-log-exp
2×clear-num frac-2neg flip3-- flip-- unswap-sqr
1×pow-prod-down associate-*l/ *-commutative
Counts
3 → 108
Calls
3 calls:
42.0ms
(* (/ 1/2 (- 4 (/ 1.0 (* i i)))) 1/2)
25.0ms
(/ 1/2 (- 4 (/ 1.0 (* i i))))
9.0ms
(/ 1.0 (* i i))

series174.0ms

Counts
3 → 9
Calls
3 calls:
81.0ms
(* (/ 1/2 (- 4 (/ 1.0 (* i i)))) 1/2)
65.0ms
(/ 1/2 (- 4 (/ 1.0 (* i i))))
28.0ms
(/ 1.0 (* i i))

simplify1.1s

Counts
117 → 117
Iterations
IterNodes
done2000
32000
21518
1488
0198

prune429.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (sqrt 4) (/ (sqrt 1.0) i))
0.0b
(* (/ 1 (+ (sqrt 4) (/ (sqrt 1.0) i))) (/ 1/4 (- 2 (/ (sqrt 1.0) i))))
0.1b
(/ 1 (+ (sqrt 4) (/ (sqrt 1.0) i)))
0.1b
(/ 1/4 (- 2 (/ (sqrt 1.0) i)))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
117×add-sqr-sqrt
87×times-frac
76×*-un-lft-identity
44×add-cube-cbrt
32×add-exp-log
27×associate-*r*
21×difference-of-squares
20×add-cbrt-cube
18×associate-*l*
11×associate-/r* div-exp
8×prod-exp associate-/r/ distribute-lft-out
7×pow1 sqrt-prod distribute-lft-out--
6×cbrt-undiv associate-/l* add-log-exp unswap-sqr
4×cbrt-unprod insert-posit16 div-inv
3×rec-exp flip3-+ 1-exp flip-+
2×clear-num frac-2neg flip3-- flip--
1×frac-times +-commutative sum-log pow-prod-down associate-*l/ associate-*r/ *-commutative pow-flip inv-pow
Counts
4 → 173
Calls
4 calls:
9.0ms
(+ (sqrt 4) (/ (sqrt 1.0) i))
63.0ms
(* (/ 1 (+ (sqrt 4) (/ (sqrt 1.0) i))) (/ 1/4 (- 2 (/ (sqrt 1.0) i))))
24.0ms
(/ 1 (+ (sqrt 4) (/ (sqrt 1.0) i)))
19.0ms
(/ 1/4 (- 2 (/ (sqrt 1.0) i)))

series444.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(+ (sqrt 4) (/ (sqrt 1.0) i))
221.0ms
(* (/ 1 (+ (sqrt 4) (/ (sqrt 1.0) i))) (/ 1/4 (- 2 (/ (sqrt 1.0) i))))
68.0ms
(/ 1 (+ (sqrt 4) (/ (sqrt 1.0) i)))
89.0ms
(/ 1/4 (- 2 (/ (sqrt 1.0) i)))

simplify1.0s

Counts
185 → 185
Iterations
IterNodes
done2001
22001
1723
0263

prune588.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ 1 (+ (sqrt 4) (/ (sqrt 1.0) i))) (* (* (cbrt 1/4) (cbrt 1/4)) (/ (cbrt 1/4) (- 2 (/ (sqrt 1.0) i)))))
0.1b
(/ 1 (+ (sqrt 4) (/ (sqrt 1.0) i)))
0.1b
(/ (cbrt 1/4) (- 2 (/ (sqrt 1.0) i)))
0.3b
(* (* (cbrt 1/4) (cbrt 1/4)) (/ (cbrt 1/4) (- 2 (/ (sqrt 1.0) i))))

rewrite218.0ms

Algorithm
rewrite-expression-head
Rules
174×add-sqr-sqrt
136×times-frac
105×*-un-lft-identity
99×add-exp-log
65×add-cube-cbrt
50×prod-exp
49×associate-*r*
46×cbrt-prod
42×add-cbrt-cube
39×difference-of-squares
28×cbrt-unprod
23×div-exp
19×pow1 associate-*l*
13×cbrt-undiv sqrt-prod distribute-lft-out--
11×associate-/r*
9×pow-prod-down associate-/l*
8×associate-/r/
7×distribute-lft-out
6×rec-exp 1-exp
4×associate-*r/ insert-posit16 div-inv add-log-exp
3×unswap-sqr
2×clear-num frac-2neg flip3-+ flip3-- *-commutative flip-+ flip--
1×frac-times associate-*l/ pow-flip inv-pow
Counts
4 → 244
Calls
4 calls:
118.0ms
(* (/ 1 (+ (sqrt 4) (/ (sqrt 1.0) i))) (* (* (cbrt 1/4) (cbrt 1/4)) (/ (cbrt 1/4) (- 2 (/ (sqrt 1.0) i)))))
27.0ms
(/ 1 (+ (sqrt 4) (/ (sqrt 1.0) i)))
25.0ms
(/ (cbrt 1/4) (- 2 (/ (sqrt 1.0) i)))
38.0ms
(* (* (cbrt 1/4) (cbrt 1/4)) (/ (cbrt 1/4) (- 2 (/ (sqrt 1.0) i))))

series677.0ms

Counts
4 → 12
Calls
4 calls:
317.0ms
(* (/ 1 (+ (sqrt 4) (/ (sqrt 1.0) i))) (* (* (cbrt 1/4) (cbrt 1/4)) (/ (cbrt 1/4) (- 2 (/ (sqrt 1.0) i)))))
72.0ms
(/ 1 (+ (sqrt 4) (/ (sqrt 1.0) i)))
117.0ms
(/ (cbrt 1/4) (- 2 (/ (sqrt 1.0) i)))
171.0ms
(* (* (cbrt 1/4) (cbrt 1/4)) (/ (cbrt 1/4) (- 2 (/ (sqrt 1.0) i))))

simplify1.4s

Counts
256 → 256
Iterations
IterNodes
done2002
22002
11047
0354

prune930.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 1/2 (* (cbrt (- 4 (/ 1.0 (* i i)))) (cbrt (- 4 (/ 1.0 (* i i))))))
15.4b
(cbrt (- 4 (/ 1.0 (* i i))))
15.4b
(cbrt (- 4 (/ 1.0 (* i i))))
15.4b
(cbrt (- 4 (/ 1.0 (* i i))))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
18×cbrt-prod cbrt-div
15×*-un-lft-identity
9×flip3-- add-exp-log add-cube-cbrt flip--
8×associate-/r/
7×add-cbrt-cube
6×times-frac difference-of-squares
4×frac-times pow1 insert-posit16 add-log-exp
3×pow1/3 associate-/l* distribute-lft-out--
2×cbrt-undiv div-exp associate-*l/ associate-*r/
1×clear-num associate-/r* frac-2neg prod-exp cbrt-unprod div-inv
Counts
4 → 81
Calls
4 calls:
35.0ms
(/ 1/2 (* (cbrt (- 4 (/ 1.0 (* i i)))) (cbrt (- 4 (/ 1.0 (* i i))))))
11.0ms
(cbrt (- 4 (/ 1.0 (* i i))))
15.0ms
(cbrt (- 4 (/ 1.0 (* i i))))
7.0ms
(cbrt (- 4 (/ 1.0 (* i i))))

series1.1s

Counts
4 → 12
Calls
4 calls:
359.0ms
(/ 1/2 (* (cbrt (- 4 (/ 1.0 (* i i)))) (cbrt (- 4 (/ 1.0 (* i i))))))
300.0ms
(cbrt (- 4 (/ 1.0 (* i i))))
246.0ms
(cbrt (- 4 (/ 1.0 (* i i))))
236.0ms
(cbrt (- 4 (/ 1.0 (* i i))))

simplify962.0ms

Counts
93 → 93
Iterations
IterNodes
done2001
32001
2979
1372
0163

prune357.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes33.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done18
118
014

end0.0ms

sample1.2s

Algorithm
intervals
Results
827.0ms8000×body80valid
258.0ms8000×pre80true